Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
701	The RUPple Effect Richard Tanner-Tremaine, Dunstan Thomas Consulting http://consulting.dthomas.co.uk RUP is just one of many acronyms and buzzwords that can strike fear into the heart of even the bravest souls in the sof Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:35 Software project management Formal methods IBM Rational Unified Process Unified Process Agile software development Unified Modeling Language Rational Software Software development methodology P-Modeling Framework Software development Software Software development process
702	An End to Methodology Wars? Dr Graham Stone, Dunstan Thomas Consulting http://consulting.dthomas.co.uk Until recently, if you were to ask most professional developers what Development Methodology they used you would prob Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:33 Software project management Formal methods Software engineering IBM Rational Unified Process Unified Process Object-oriented programming Software development methodology Dynamic systems development method Unified Modeling Language Software development Software Software development process
703	A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quantied Propositional Logic. BDDs are Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:50 Models of computation Predicate logic Automata theory Model theory Philosophical logic Denotational semantics First-order logic Formal language Second-order logic Logic Mathematical logic Mathematics
704	Distributional Phrase Structure Induction Dan Klein and Christopher D. Manning Computer Science Department Stanford University Stanford, CA[removed]klein, manning @cs.stanford.edu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2001-05-28 19:28:07 Computational linguistics Compiler construction Statistical natural language processing Corpus linguistics Syntax Parsing Stochastic context-free grammar Dependency grammar Treebank Linguistics Formal languages Natural language processing
705	OMeta: an Object-Oriented Language for Pattern Matching ∗ Alessandro Warth Ian Piumarta Computer Science Department Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Computing Programming language implementation Syntactic predicate Parsing expression grammar LL parser Viewpoints Research Institute Scannerless parsing Compiler-compiler COLA Formal languages Software engineering Parsing
706	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:02:10 Mathematics Logic in computer science Maude system Computability theory Abstraction Rewriting Predicate Philosophy Normal form Theoretical computer science Formal languages Programming language theory
707	Contents Lang101 Workbook – User’s Guide .......................................................................v Exercises & Activities Add to Reading List Source URL: lang101.com Language: English - Date: 2012-04-03 03:28:35 Language Grammar Knowledge Linguistics Formal language Science Academia Human communication
708	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
709	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
710	A Collection of Tools for Making Automata Theory and Formal Languages Come Alive Anna O. Bilska, Kenneth H. Leider, Magdalena Procopiuc, Octavian Procopiuc, Susan H. Rodger, Jason R. Salemme and Edwin Tsang Duke Universi Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:03:44 Software engineering Parsing Combinatorics LL parser Formal grammar Bottom-up parsing Automata theory LR parser Context-free grammar Formal languages Programming language implementation Compiler construction

UPDATE